Domain theory - PDFSEARCH.IO - Document Search Engine

Domain theory
Results: 638

#	Item
21	A content based mathematical search engine: Whelp Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:18 Computing Mathematics Mathematical logic Type theory Functional languages Business intelligence Knowledge representation Records management Coq Domain of a function Matching CIC
22	Building Event-B Interlocking Theories: Lessons Learned using the Theory Plug-in Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard CETIC Research Center, Charleroi, Belgium {yoann.guyot, renaud.delandtsheer, christop Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:41:20 Logic Abstraction Philosophy Metalogic Mathematical proofs Interlocking Theorem Theory Railway signalling Model theory Domain-specific language Rodin tool
23	Designing And Delivering Customized Programs With Impact Elizabeth Weldon, PhD www.ExecEdWithImpact.com In this report, I describe the results of a UNICON survey designed to identify the key Add to Reading List Source URL: www.execedwithimpact.com Language: English - Date: 2016-05-17 13:26:48 Software engineering Computer programming Programming language theory Icon Public-domain software Executive education Unicon Survey methodology Surveying
24	Modeling Information Diffusion in Implicit Networks Jaewon Yang EE Department, Stanford University Abstract—Social media forms a central domain for the Add to Reading List Source URL: ilpubs.stanford.edu Language: English - Date: 2013-10-14 14:25:41 Network theory Flow network Operations research Diffusion Networks Hub Mathematics Applied mathematics Metaphysics
25	A FLAVOUR OF NONCOMMUTATIVE ALGEBRA (PART 2) VIPUL NAIK Abstract. This is the second part of a two-part series intended to give the author and readers a flavour of noncommutative algebra. The material is related to topic Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Algebra Abstract algebra Mathematics Ring theory Noncommutative ring Semisimple module Artinian ring Ring Matrix ring Jacobson radical Finitely generated module Integral domain
26	On timbre stamps and other frequency-domain filters Miller Puckette ∗ Abstract FFT-based filters find wide use in both live and ‘tape’ electronic music. Here an attempt is made to develop straightforward guidelines Add to Reading List Source URL: msp.ucsd.edu Language: English - Date: 2007-08-13 22:22:25 Signal processing Telecommunications engineering Electrical engineering Digital signal processing Filter theory Linear filters Fourier analysis Window function Filter Electronic filter Low-pass filter Equalization
27	A characterization of single-peaked single-crossing domain Edith Elkind University of Oxford based on joint work with Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2013-11-05 18:08:38 Voting system criteria Voting Social choice theory Political philosophy Single peaked preferences Condorcet criterion Independence of irrelevant alternatives Later-no-harm criterion
28	283 Documenta Math. ` la Courant Nodal Domain Theorems a Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2004-09-03 16:27:13 Algebra Mathematics Mathematical analysis Spectral theory Operator theory Linear algebra Functional analysis Matrix theory Eigenfunction Spectrum Eigenvalues and eigenvectors Self-adjoint operator
29	POLYDIV: Enhanced Polynomial Division Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK. Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:14 Algebra Mathematics Abstract algebra Polynomials Computer algebra Ring theory Commutative algebra Polynomial Primitive part and content Euclidean domain Ring Remainder
30	Physical Results from 2+1 Flavor Lattice Domain Wall QCD Enno E. Scholz (RBC and UKQCD Collaborations) 23 October 2008 Add to Reading List Source URL: theory.fnal.gov Language: English - Date: 2015-04-03 15:19:47 Physics Particle physics Quantum field theory Quantum chromodynamics Lattice models Quarks Lattice QCD Chiral symmetry breaking Exotic meson Lattice gauge theory Flavour Chirality

UPDATE